621. Putting information first :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Floridi, Luciano,1964-,Computer science-- Philosophy,Information technology-- Philosophy

رده :
QA76
.
167
.
P88
2010

622. Puzzles in Logic, Languages and Computation

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS

رده :
E-BOOK

623. Puzzles in Logic, Languages and Computation

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS

رده :
E-BOOK

624. Quantitative Logic and Soft Computing 2010

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS

رده :
E-BOOK

625. Quantum interaction :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses,Quantum theory, Congresses,Quantum computers-- Congresses,Quantum theory-- Congresses

رده :
Q334
.
Q25
2011

626. Real-world reasoning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence,Computer logic

رده :
Q335
.
R43
2011

627. Reasoning Web. Web Logic Rules

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS

رده :
E-BOOK

628. Reasoning web :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.

رده :
TK5105
.
88815

629. Reasoning with Actual and Potential Contradictions

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Logic.,Philosophy (General)

رده :
Q375
.
E358
1998

630. Reasoning with logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming,، Reasoning

رده :
QA
76
.
L28
Vol
.
1111

631. Recent Advances in Intelligent Paradigms and Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.

632. Recent advances in constraints

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses

رده :
Q340
.
J65
2011

633. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
3010

634. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3419

635. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
2627

636. Recent trends in computer applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.

رده :
QA75
.
5

637. Relational and algebraic methods in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.

رده :
QA76
.
9
.
M35

638. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS

رده :
QA
76
.
9
.
R36
2011

639. Representation Theorems in Computer Science

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Information theory. ; Artificial intelligence. ; Computer logic. ; Data mining. ; Information storage and retrieval systems. ; Theory of Computation. ;

640. Representing plans under uncertainty : a logic of time, Chance, and action

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Uncertainty )Information theory(,، Decision making,، Artificial intelligence

رده :
QA
76
.
L28
Vol
.
770